2

State Spaces — The Locale Way

Year:
2009
Language:
english
File:
PDF, 318 KB
english, 2009
3

Preface

Year:
2010
Language:
english
File:
PDF, 119 KB
english, 2010
10

Eisbach: A Proof Method Language for Isabelle

Year:
2016
Language:
english
File:
PDF, 489 KB
english, 2016
11

From LCF to Isabelle/HOL

Year:
2019
Language:
english
File:
PDF, 694 KB
english, 2019